#ifndef _INCCTRLS_H_
#define _INCCTRLS_H_

#include <config.h>

#include <list.h>                /* 基本类型 */
#include <spinlock.h>
#include <waitlst.h>
#include <irq.h>       

#include <krldevice.h>           /* 设备类型 */

#include <drvsystick.h>          /* 驱动相关 */
#include <drvrtc.h>
#include <drvramfs.h>

#include <krlintrpt.h>           /* 内核功能 */
#include <krlmem.h>
#include <krlmempool.h>
#include <krlobjnode.h>
#include <krlsem_t.h>
#include <krlthread.h>
#include <krlsched.h>
#include <krlthdidle.h>
#include <krltime.h>
#include <krlservice.h>

#include <krlglobal.h>
#include <krlinit.h>

#include <haluart.h>            /* 硬件相关 */
#include <printk.h>
#include <cpuctrl.h>
#include <platform.h>
#include <halmach.h>
#include <halmem.h>
#include <halintrpt.h>
#include <halcpuctrl.h> 

#include <halglobal.h>
#include <halinit.h>

#endif
